Anne Remke (u. A.) | Stochastic Model Checking | Taschenbuch |

Stochastic Model Checking International Autumn School, Rocks 2012,

Jaco Geldenhuys (u. A.) | Model Checking Software | Taschenbuch |

Uwe Jensen (u. A.) | Stochastic Models In Reliability | Taschenbuch |

Roberto Giacobazzi (u. A.) | Verification, Model Checking, And

Lawrence M. Ward (u. A.) | Stochastic Neuron Models | Taschenbuch |

Deepak D'souza (u. A.) | Verification, Model Checking, And Abstract...

Ernst-rüdiger Olderog (u. A.) | Model Checking, Synthesis, And

Xavier Rival (u. A.) | Verification, Model Checking, And Abstract

Fritz Henglein (u. A.) | Verification, Model Checking, And Abstract...

K. Rustan M. Leino (u. A.) | Verification, Model Checking, And

Handbook Of Model Checking | Edmund M. Clarke (u. A.) | Buch | Xlviii

Stefan Edelkamp (u. A.) | Model Checking Software | Taschenbuch |

Anne Jahnke | Drug-checking-programme | Taschenbuch | Deutsch

Ansgar Steland (u. A.) | Stochastic Models, Statistics And Their

Sriram K. Rajamani (u. A.) | Model Checking Software | Taschenbuch |